
void help (char const * name);

void die (void);

void die_with_errno (int outcome);

void usage (char const * name);
